int TEST_key_verf();